#ifndef KERNEL_HAL_x86_PAGING_H
#define KERNEL_HAL_x86_PAGING_H

#define PAGING_TRACE(x ...) HAL_TRACE_DETAILED("Paging: " x)

namespace x86
{
	class Paging
	{
	public:
		static Result Initialize( void );
	};
}

#endif // KERNEL_HAL_x86_PAGING_H
